ConfirmBy

ConfirmBy[expr,f] confirms that f[expr] returns True, otherwise throwing an error to the nearest surrounding Enclose.

ConfirmBy[expr,f,info] evaluates info and includes its value in the thrown error if expr is not confirmed.

ConfirmBy[expr,f,info,tag] uses the specified tag for any thrown errors.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.